A case study is presented of the development of computer-based support tools for power engineers in the electricity supply industry. The objective was to develop an expert system to support witching schedule production. A user-centred approach was followed which led the user community to conclude that a switching schedule production assistant (SSPA) was required which would leave control with the power engineer. Prototype systems were developed and evaluated in user trials which revealed that a significant and more general purpose tool (...) would be a computer generated electricity network display that the engineers could manipulate. The paper concludes that the process of enabling users to evaluate alternative forms of technology can facilitate the development systems that are useful, acceptable and usable. (shrink)

R F Dearden; Theory and Practice in Education, Journal of Philosophy of Education, Volume 14, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-.

R F Dearden; Education and Politics, Journal of Philosophy of Education, Volume 14, Issue 2, 30 May 2006, Pages 149–156, https://doi.org/10.1111/j.1467-9752.198.

This volume critically and constructively discusses philosophical questions which have particular bearing on the formulation of educational aims. The book is divided into three major parts: the first deals with the nature of education, and discusses the various general aims, such as 'mental health', 'socialization' and 'creativity' which have been thought to characterize it; the second section is concerned with the nature of reason and its relationship to feeling, will and action; finally the development of different aspects of reason in (...) an educational context is considered. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

R F Dearden; Happiness and Education, Journal of Philosophy of Education, Volume 2, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-9752.1968.

Arvind Thomas has written a remarkable book. That said, however, it must be quickly added that it is not a book for everyone, not even for all students of medieval literature. It is a very thoughtf...

Like all my generation at Oxford, in the far-away years of the turn of the century, I received my first introduction to the Philosophical Theory of the State through the reading of Plato’s Republic. There followed Aristotle, Hobbes, Locke, Rousseau, Hegel, Bosanquet— with a disapproving glance at Mill and Spencer. Alongside this survey of widely varying theories there ran a lively interest in the politics of the day under a “democratic,” i.e. parliamentary, system of government, with much experience of “democratic” (...) methods in the running of various college and university societies, the officials of which were elected by the members, and the actions of which were determined, after discussion, by majority vote. (shrink)

It has come to be expected that collections issued by the Royal Institute of Philosophy will contain work that has quality or is otherwise interesting. This volume runs true to form and presents plenty of both. It gives the proceedings of the conference arranged by the Institute at Exeter in 1973, consisting of five symposia together with Chairman's remarks of about eight pages or so for each symposium, and in three cases postscripts by the first speaker. The contributors and topics (...) are: R. F. Dearden and Elizabeth Telfer on ‘Autonomy as an Educational Ideal’ with R. M. Hare as Chairman; R. K. Elliott and Glenn Langford on ‘Education and the Development of the Understanding’ with Paul Hirst as Chairman; David Cooper and Timothy O'Hagan on ‘Quality and Equality in Education’ with R. F. Atkinson as Chairman; Mary Warnock and Richard Norman on ‘The Neutral Teacher’ with Alan Montefiore as Chairman; Stuart Brown and A. Phillips Griffiths on ‘Academic Freedom’ with R. S. Peters as Chairman. (shrink)

‘Tiberium Neronem et Claudium Drusum priuignos imperatoriis nominibus auxit [sc. Augustus]’’, i.e. honoured them with salutations as ‘imperatores’’. So I took it in my commentary , supposing argument needless. I must now defend my view against R. Syme, Historia antiqua, Commentationes Louanienses in honorem W. Peremans , p.239. Syme asserts ‘Avoiding a technical term, he [Tacitus] describes the stepsons of the Princeps as invested with imperatoriis nominibus . That is, a grant of imperium proconsular .’’ He adds in a footnote (...) ‘As emerges clearly from Dio 54.33.5 , cf. 34.4 . The matter must be stated firmly, since both Koestermann and Goodyear are totally inadequate.’’ Let me make amends. (shrink)

„My sole purpose in this paper is to try and correct what I take to be a common misinterpretation of Hume’s opinions on mathematics. I shall not enquire whether he was right or wrong in holding these opinions. Nor shall I offer opinions of my own.“.

Es wird versucht nachzuweisen wiesehr Husserl neben der immer erneuten Übung der Phänomenologie als ein Instrument genauester philosophischer Analyse immer mit metaphysischen Fragen „alten Stils” beschäftigt gewesen ist : Ursprung der Welt, Existenz Gottes, Möglichkeit und Sinn der Geschichte, Unsterblichkeit. Solche und ähnliche Probleme hat er angeschnitten und neu zu beantworten versucht auf dem von ihm nie verlassenen Boden der transzendentalsubjektiven Phänomenologie. Die Frage ist eben wie eine solche Phänomenologie, die vom Bewusstsein als dem Absoluten, das „nulla ‘re’ indiget ad (...) existendum” ausgeht und daran immer festgehalten hat mit der metaphysischen Problematik ins Reine kommt, namentlich wenn das mit der Transzendenz Gottes gemeinte Absolute dem Bewusstseinsabsoluten gegenüber als „ total verschieden” und „übertranszendentalsubjektiv” bezeichnet wird. Stösst das transzendentale Bewusstsein irgendwo auf Absolutes, das es unter Verzicht auf seinen konstitutiven Leistungscharakter ohne weiteres hinzunehmen hat ? Von Fink stammt die Bemerkung dass man Husserl als dem „Philosophen des Kleingeldes” seine unspekulative Gesinnung nicht als Schwachheit anrechnen darf, weil in der sorgfältigen Analyse eben seine Stärke liege. Ich möchte demgegenüber betonen dass eine „manque d'esprit métaphysique” sich bei Husserl eben nicht nachweisen lässt, wie auch aus seinen geschichtsphilosophischen Bemühungen eindeutig hervorgeht. In dieser letzten Beziehung liesse sich fragen inwiefern eine Philosophie, die den Ursprung der Geschichte in die transzendentale Subjektivität verlegt auf die „wirkliche” Geschichte als das „grosse Faktum des absoluten Seins” sich zu berufen ein Recht hat. Jedenfalls dürfte klar sein dass es neben Husserl, dem geduldigen, sorgfältigen, auf das Detail hinsehenden phänomenologischen Analytiker einen durch metaphysische Fragen in andauernder Unruhe versetzten Husserl gegeben hat. (shrink)

Journal of the Pali Text Society, Volume XXVI. Edited by O. von Hinüber and R.F. Gombrich. Pali Text Society, Oxford 2000. 234 pp. £15.00. ISBN 0 86013 391 5.

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

The purpose of this paper is twofold: to comment on certain remarks of E. Koestermann, and to examine briefly some passages adduced by K. Wellesley as evidence for the alleged independence of the Leidensis . In a paper in CQ N.S. XV , 299–322, I attempted to demonstrate by various arguments that the readings of L are not such as to support the claim that this manuscript has authority independent of M. Those arguments may be summarized as follows: that the (...) majority of L's readings fall into a pattern of systematic normalization, that they give virtually no help in solving really deep corruptions, that L is particularly unreliable in transmitting proper names, that many readings of L show clear signs of being derived from M, that few of the good readings in L could not have been extracted from the corrupt text of M, and that other fifteenth-century manuscripts of Tacitus contain good corrections, not inferior to corrections found in L. No defender of L has yet, as far as I know, answered the arguments I put forward, and E. Koestermann has not even understood them, for he writes as follows : ‘[Goodyear] legt den Finger darauf, daß die abweichenden Lesarten in L in ihrer Diktion stärker ciceronischen Charakter tragen, demnach eher als Konjekturen zu verstehen seien. Aber dies Argument ist nicht durchschlagend, da die späteren Annalenbücher … eine gemässigtere Tendenz aufweisen und damit näher an Cicero heranrücken.’. (shrink)

R F Dearden; Competition in Education, Journal of Philosophy of Education, Volume 6, Issue 1, 30 May 2006, Pages 119–133, https://doi.org/10.1111/j.1467-9752.19.

R. F. Atkinson; XIII*—Explanation in History, Proceedings of the Aristotelian Society, Volume 72, Issue 1, 1 June 1972, Pages 241–256, https://doi.org/10.1093/a.